Simulation of hybrid circuits in constraint logic programming

Simulation of Hybrid Circuits in Constraint Logic Programming

This paper presents LOGISIM, a CAD tool to simulate the temporal behaviour of hybrid circuits containing electro-mechanical, electrohydraulic, hydro-mechanic, and digital control devices. LOGISIM combines the advantages of both qualitative and quantitative reasoning by producing a high-level description (discrete states) of the circuit behaviour while reasoning at the quantitative level (physic...

Transient Analysis of Linear Circuits using Constraint Logic Programming

This paper describes the design of a transient analysis program for linear circuits and its implementation in a Constraint Logic Programming language, CLP(R). The transient analysis program parses the input circuit description into a network graph, analyses its semantic correctness and then performs the transient analysis. The test results show that the program is at least 97% accurate when run...

Constraint Hierarchies in Constraint Logic Programming Languages

Houria is an incremental solver that proposes a new implementation of constraint hierarchies. Houria uses local propagation to maintain sets of required and preferential constraints. It represents constraints between variables by sets of short procedures (methods) and incrementally re-satis es the set of constraints when individual constraints are added and removed. The criteria of comparison u...

Modeling Hybrid Systems using Analytic Constraint Logic Programming

We use an interval-based Analytic Constraint Logic Programming (ACLP) language (CLP(F)) to accurately and declaratively model Hybrid Systems. In particular, we model the continuous part of the Hybrid Systems using ODE constraints on function variables and we model errors in measurements by using intervals for all inputs and for all Ordinary Differential Equation (ODE) parameters. There are thre...

Constraint Logic Programming